Non-interference in Partial Order Models
نویسندگان
چکیده
منابع مشابه
Higher-Order Abstract Non-interference
This work proposes a type system for checking Abstract Non-Interference in the setting of simply-typed lambda calculus with basic types and recursion. A lambda-expression satisfies Abstract NonInterference relatively to a given semantic property if an attacker which can only see program data up to that property cannot infer, by observing a computation, private data from public ones. Attackers a...
متن کاملModified Maximum Likelihood Estimation in First-Order Autoregressive Moving Average Models with some Non-Normal Residuals
When modeling time series data using autoregressive-moving average processes, it is a common practice to presume that the residuals are normally distributed. However, sometimes we encounter non-normal residuals and asymmetry of data marginal distribution. Despite widespread use of pure autoregressive processes for modeling non-normal time series, the autoregressive-moving average models have le...
متن کاملFirst Order Theories for Partial Models
We investigate first order sentences valid in completions of a given partial algebraic structure a partial model. We give semantic and syntactic description of the set of all sentences valid in every completion of the given partial model first order theory of this model.
متن کاملPartial Order Models for Quantitative Extensions of
Event structures are a prominent model for non-interleaving concurrency. The use of event structures for providing a compositional non-interleaving semantics to LOTOS without data is studied. In particular, several quantitative extensions of event structures are proposed that incorporate notions like time|both of deterministic and stochastic nature|and probability. The suitability of these mode...
متن کاملVisualisation of Partial Order Models in VLSI Design Flow
A new method, algorithms and tool for the visualisation of a finite complete prefix (FCP) of a Petri net (PN) or a signal transition graph are presented. A transformation is defined that converts such a prefix into a twolevel model. At the top level, it has a finite state machine (FSM), describing modes of operation and transitions between them. At the low level, there are marked graphs, which ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Embedded Computing Systems
سال: 2017
ISSN: 1539-9087,1558-3465
DOI: 10.1145/2984639